2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)
Автор:
Andrea Asperti
, Автор:
Giuseppe Longo
Категория:
Компьютеры
Размер книги: 1.60 Mb
Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 (Lecture Notes in Computer Science)
Автор:
Andrea Asperti
, Автор:
Bruno Buchberger
, Автор:
James Harold Davenport
Категория:
Компьютеры
Размер книги: 2.54 Mb
Logica a informatica
Автор:
Andrea Asperti
, Автор:
Agata Ciabattoni
Категория:
Математика
,
Математическая логика
Размер книги: 909 Kb
Categories, types, and structures. Introduction to category theory for computer scientists
Автор:
Andrea Asperti
, Автор:
Giuseppe Longo
Категория:
Mathematics
,
Algebra
,
Category theory
Размер книги: 2.41 Mb
The optimal implementation of functional programming languages
Автор:
Andrea Asperti
, Автор:
Stefano Guerrini
Размер книги: 3.38 Mb
Mathematical Knowledge Management, 2 conf., MKM 2003
Автор:
Andrea Asperti
, Автор:
Bruno Buchberger
, Автор:
James Harold Davenport
Категория:
CsLn_
Размер книги: 2.02 Mb
Mathematical Knowledge Management, 3 conf., MKM 2004
Автор:
Andrea Asperti
, Автор:
Grzegorz Bancerek
, Автор:
Andrzej Trybulec
Категория:
CsLn_
Размер книги: 7.54 Mb
